// Copyright 2010 Google Inc. All Rights Reserved.

package AvlTree;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertNotNull;

import org.junit.Test;

import instrumentation.TrackerCoverage;

public class Main {
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
	 @Test
	  public static void test0()  throws Throwable  {
		AvlTree AvlTree_1 = new AvlTree();
		AvlTree AvlTree_0 = new AvlTree();

		AvlTree_1.remove(0); AvlTree_0.insert(7); AvlTree_0.insert(4); AvlTree_0.insert(-10); AvlTree_0.insert(0); AvlTree_0.insert(-1); AvlTree_1.insert(-1); AvlTree_0.insert(6); AvlTree_0.remove(7); AvlTree_1.insert(-2147483648); AvlTree_0.insert(-7); AvlTree_1.insert(-2); AvlTree_1.insert(-2); AvlTree_1.insert(547546357); AvlTree_0.insert(1); AvlTree_0.insert(-6); AvlTree_1.remove(-2147483648); AvlTree_1.toString(); AvlTree_1.insert(-4); AvlTree_1.insert(-8); AvlTree_1.remove(-1);// fit: 114.02273  BrDis= 4.8115945
		
		
	 }

	  //Test case number: 1
	  /*
	   * 2 covered goals:
	   * 1 Fraction.Fraction.multiply(I)LFraction/Fraction;: root-Branch
	   * 2 Fraction.Fraction.gcd(II)I: I53 Branch 55 IFLE L685 - true
	   */


  public static void main(String[] args) throws Throwable{
	  test0();
      System.out.print(track.toString());
//		 System.out.println(track.getConditionTargetId(100));
	//	 System.out.println(track.displayCondition());
		 track.reset(); 
		   System.exit(0);;
  
  }
}